Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
831	Haskell Bytes A guided tour through the heap of a Haskell program Joachim Breitner∗ 13 June 2014 Galois tech talks Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Data types Subroutines Type theory Functional programming Haskell Literate programming Glasgow Haskell Compiler Pointer Closure Software engineering Computing Computer programming
832	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
833	MITFallLecture 1 c W.C Carter Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:32:37 Education reform Homework Standards-based education Wolfram Research Mathematica Type theory Mathematical software Application software Science
834	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing
835	Evaluating the dynamic behavior of Smalltalk applications Bachelor Thesis Roger Stebler from Balsthal, Switzerland Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2015-04-21 06:14:19 Type theory Smalltalk Duck typing Type system Ad-hoc polymorphism Variable Polymorphism in object-oriented programming Ruby Eval Software engineering Computing Computer programming
836	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:45:18 Type theory Data types Type safety Record Data structure alignment Ada Subroutine Parameter Variable Software engineering Computing Computer programming
837	CrossMark_Color_Stacked_p Add to Reading List Source URL: www.beanmanaged.com Language: English - Date: 2014-04-22 09:56:54 Human behavior Extraversion and introversion Myers-Briggs Type Indicator Trait theory Positive affectivity Big Five personality traits Neuroticism Leadership Psychology Personality Mind Personality traits
838	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:49:11 Data types Type theory Stack Subroutine Constructor Constant Variable C Linked list Software engineering Computer programming Computing
839	PDF Document Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-10-06 02:50:50 Procedural programming languages Data types Type theory Assert.h Operand C Assertion Operator Type system Software engineering Computing Computer programming
840	Internship report : Extending M LF with Higher-Order Types Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 10:51:56 Programming language theory Curry–Howard correspondence Lambda calculus System F Binding Type inference Simply typed lambda calculus Type system Polymorphism Type theory Software engineering Theoretical computer science

UPDATE